HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite important for such safety-critical applications. But since PLC code does not include an analytic model of the system plant, their verification is limited to discrete properties. In this paper, we, thus, start the other way around with hybrid programs that include continuous plant models in addition to discrete control algorithms. Even deep correctness properties of hybrid programs can be formally verified in the theorem prover KeYmaera X that implements differential dynamic logic, dL, for hybrid programs. After verifying the hybrid program, we now present an approach for translating hybrid programs into PLC code. The new tool, HyPLC, implements this translation of discrete control code of verified hybrid program models to PLC controller code and, vice versa, the translation of existing PLC code into the discrete control actions for a hybrid program given an additional input of the continuous dynamics of the system to be verified. This approach allows for the generation of real controller code while preserving, by compilation, the correctness of a valid and verified hybrid program. PLCs are common cyber-physical interfaces for safety-critical industrial control applications, and HyPLC serves as a pragmatic tool for bridging formal verification of complex cyber-physical systems at the algorithmic level of hybrid programs with the execution layer of concrete PLC implementations.Comment: 13 pages, 9 figures. ICCPS 201

Extracorporeal life support in COVID-19-related acute respiratory distress syndrome: A EuroELSO international survey

Extracorporeal life support (ECLS) is a means to support patients with acute respiratory failure. Initially, recommendations to treat severe cases of pandemic coronavirus disease 2019 (COVID-19) with ECLS have been restrained. In the meantime, ECLS has been shown to produce similar outcomes in patients with severe COVID-19 compared to existing data on ARDS mortality. We performed an international email survey to assess how ECLS providers worldwide have previously used ECLS during the treatment of critically ill patients with COVID-19. A questionnaire with 45 questions (covering, e.g., indication, technical aspects, benefit, and reasons for treatment discontinuation), mostly multiple choice, was distributed by email to ECLS centers. The survey was approved by the European branch of the Extracorporeal Life Support Organization (ELSO); 276 ECMO professionals from 98 centers in 30 different countries on four continents reported that they employed ECMO for very severe COVID-19 cases, mostly in veno-venous configuration (87%). The most common reason to establish ECLS was isolated hypoxemic respiratory failure (50%), followed by a combination of hypoxemia and hypercapnia (39%). Only a small fraction of patients required veno-arterial cannulation due to heart failure (3%). Time on ECLS varied between less than 2 and more than 4 weeks. The main reason to discontinue ECLS treatment prior to patient's recovery was lack of clinical improvement (53%), followed by major bleeding, mostly intracranially (13%). Only 4% of respondents reported that triage situations, lack of staff or lack of oxygenators, were responsible for discontinuation of ECLS support. Most ECLS physicians (51%, IQR 30%) agreed that patients with COVID-19-induced ARDS (CARDS) benefitted from ECLS. Overall mortality of COVID-19 patients on ECLS was estimated to be about 55%. ECLS has been utilized successfully during the COVID-19 pandemic to stabilize CARDS patients in hypoxemic or hypercapnic lung failure. Age and multimorbidity limited the use of ECLS. Triage situations were rarely a concern. ECLS providers stated that patients with severe COVID-19 benefitted from ECLS

Extracorporeal life support in COVID-19-related acute respiratory distress syndrome: A EuroELSO international survey

Extracorporeal life support (ECLS) is a means to support patients with acute respiratory failure. Initially, recommendations to treat severe cases of pandemic coronavirus disease 2019 (COVID-19) with ECLS have been restrained. In the meantime, ECLS has been shown to produce similar outcomes in patients with severe COVID-19 compared to existing data on ARDS mortality. We performed an international email survey to assess how ECLS providers worldwide have previously used ECLS during the treatment of critically ill patients with COVID-19. A questionnaire with 45 questions (covering, e.g., indication, technical aspects, benefit, and reasons for treatment discontinuation), mostly multiple choice, was distributed by email to ECLS centers. The survey was approved by the European branch of the Extracorporeal Life Support Organization (ELSO); 276 ECMO professionals from 98 centers in 30 different countries on four continents reported that they employed ECMO for very severe COVID-19 cases, mostly in veno-venous configuration (87%). The most common reason to establish ECLS was isolated hypoxemic respiratory failure (50%), followed by a combination of hypoxemia and hypercapnia (39%). Only a small fraction of patients required veno-arterial cannulation due to heart failure (3%). Time on ECLS varied between less than 2 and more than 4 weeks. The main reason to discontinue ECLS treatment prior to patient's recovery was lack of clinical improvement (53%), followed by major bleeding, mostly intracranially (13%). Only 4% of respondents reported that triage situations, lack of staff or lack of oxygenators, were responsible for discontinuation of ECLS support. Most ECLS physicians (51%, IQR 30%) agreed that patients with COVID-19-induced ARDS (CARDS) benefitted from ECLS. Overall mortality of COVID-19 patients on ECLS was estimated to be about 55%. ECLS has been utilized successfully during the COVID-19 pandemic to stabilize CARDS patients in hypoxemic or hypercapnic lung failure. Age and multimorbidity limited the use of ECLS. Triage situations were rarely a concern. ECLS providers stated that patients with severe COVID-19 benefitted from ECLS